La cohérence textuelle argumentative : illocution, intention et engagement de consistance

Enrichissement d'ontologies : maintenance de la consistance et évaluation de la qualité

Une logique modale pour raisonner sur la cohérence et la complétude de réglementations

Nous nous intéressons dans ce papier aux réglementation qui peuvent exister dans des systèmes multi-agents pour réguler les comportements des agents. Plus précisément, nous travaillons sur deux propriétés des réglementations, la cohérence et la complétude. Après avoir donné une définition de ces deux notions, nous proposons un cadre permettant de compléter de façon cohérente une réglementation ...

Description de Hyalomma dromedarii (Koch 1844) Morphologie de la larve et de la nymphe

Décision de la cohérence des réseaux de contraintes qualitatives combinés

We study the problem of consistency checking for constraint networks over combined qualitative formalisms. We propose a framework which encompasses loose integrations, multiscale reasoning and a form of spatio-temporal reasoning. In particular, we identify sufficient conditions ensuring the polynomiality of consistency checking, and we use them to find tractable subclasses. MOTS-CLÉS : réseaux ...

La dose tolérée et toxique de la saponine chez les chèvres et les moutons